Formal Description of Programming Concepts--II Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982

Deep cut – we couldn't find a description for this book.