Bauer, F and Samelson, K "Sequential Formula Translation" pp76-83

(1960)

[ACM] (1960) [ACM] CACM 3(03) March 1960   Fritz Bauer

Languages mentioned