Unification of Theories: A Challenge for Computing Science

Bibliografische gegevens
Hoofdauteur: Hoare, C
Formaat: Conference item
Gepubliceerd in: Springer 1995