Publications

1 result at IFIP Working Conference on the Formal Description of Programming Concepts 1982