Theories of translation correctness for concurrent programming languages. - Mark Millington (1985)

A Blackboard Shell in Prolog. - John Jones; Mark Millington; Peter Ross (ECAI, 1986)

An Assumption-based Truth Maintenance System in Active Aid for UNIX Users. - John Jones; Mark Millington; Maria Virvou (Artif. Intell. Rev., 2000)

Virtues and Problems of an Active Help System for UNIX. - Maria Virvou; John Jones; Mark Millington (Artif. Intell. Rev., 2000)