IFIP Working Conference on Formal Description of Programming Concepts (1982 Garmisch-Partenkirchen, Germany)