Houssais, Bernard Verification of an Algol 68 implementation pp117-128

(1977)

[Proceedings] (1977) Proceedings of the Strathclyde ALGOL 68 conference Glasgow, Scotland 1977  

Languages mentioned