IFIP Working Group 2.2
Formal Description of Programming Concepts