Krzysztof R. Apt
-
Tony Hoare
pubblicato da
Association for Computing Machinery and Morgan & Claypool Publishers