Martin WirsingFormal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986North-Holland19870-444-70253-9db/conf/ifip2/fdpc1987.html