Publication
-
Towards the design of a super-language of Algol 68 for the standard prelude : (prepublication) Tech Report
January 1977 -
January 1977 -
January 1977 -
January 1977 -
Inleiding tot programmaverificatie Tech Report
January 1977 -
January 1977 -
A note on simultaneous recurrence conditions on a set of denumerable stochastic matrices : (preprint) Tech Report
January 1977 -
January 1977