International Federation for Information Processing Programming concepts, methods and calculi
proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94), San Miniato, Italy, 6-10 June 1994
Gedrukt boek