Formal description of programming concepts--II proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982 - Bjorner, D. (Dines), 1937- (North-Holland Pub. Co., 1983)