1. Deterministic parsing of ambiguous grammars;Aho;Comm. ACM,1975
2. The Vienna Development Method: The Meta Language;Bjørner,1978
3. Formal Specification and Software Development;Bjørner,1982
4. Towards a Formal Description of ADA,1980
5. Noninitial algebraic semantics;Blikle,1984