Formal models in programming : proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January-1 February, 1985
IFIP TC2 Working Conference on the Role of Abstract Modelsin Information Processing
Bok Engelsk 1985