1. Software engineering and artificial intelligence in new generation computing
2. ‘SAME: a structured analysis tool and its implementation in Prolog’, in and (eds), Logic Programming: Proceedings of 5th International Conference and Symposium, MIT Press, Cambridge, Massachusetts, 1988, pp. 82–95.
3. ‘Testing data flow diagrams with Parlog’, in and (eds) Logic Programming: Proceedings of 5th International Conference and Symposium, MIT Press, Cambridge, Massachusetts, 1988, pp. 96–110.
4. Intelligent support for specifications transformation
5. , and , ‘Evaluation of structure charts: a logic programming approach’, in B. Srinivasan and J. Zeleznikow (eds), Databases in the 1990s 2: Proceedings of 2nd Australian Conference on Database and Information Systems, Sydney, Australia, 1991, pp. 270–284.