E.-R. Olderog

• Formal Description of Programming Concepts (IFIP State-of-the-Art Reports) (v. 1)