Formal description of programming concepts : proceedings - Bjrner Dines; IFIP Working Conference on Formal Description of Programming Concepts( 2nd : 1982 : FRG ); IFIP Working Conference on Formal Description of Programming Concepts 2nd , FRG 1982 (Amsterdam North Holland, 1983)
Keywords: Computer programming