author : Iain D. Craig

Books

• Formal Specification of Advanced AI Architectures. 1991
• The Interpretation of Object-oriented Programming Languages: 2nd edn. 2002