IFIP Working Group 2.2
Formal Description of Programming Concepts
Summary of the work of WG 2.2
Report to IFIP TC-2 by E.-R. Olderog (submitted on 28 January 1999)
Report to IFIP TC-2 by E.-R. Olderog (submitted on 28 January 1999)