Formal models in programming : proceedings - Neuhold E J; IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing( 1985 : Vienna ); IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing Vienna, 1985 (Amsterdam North Holland, 1985)
Keywords: Computer programming