Proceeding on mathematical foundations of software development - Ehrig Hartmut Ed.; International joint conference on theory and practice of software devlopment (1985 : Berlin) (Berlin Springer-Verlag, 1985)
Keywords: Computer programming