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