Formal description of programming concepts : Proceedings of IFIP working conference : Konf. St.Andrews, Canada, 1.- 5. Aug. 1977 - Neuhold, Erich J (North-Holland, 1978)