Integration of Modal Logic and the Functional Data Model. - David R. Sutton; Peter J. H. King (BNCOD, 1992)

Extending Functional Database Languages to Update Completeness. - David R. Sutton; Carol Small (BNCOD, 1995)

Incomplete Information and the Functional Data Model. - David R. Sutton; Peter J. H. King (Comput. J., 1995)

The PROforma Guideline Specification Language: Progress and Prospects. - Jonathan Bury; John Fox 001; David R. Sutton (EWGLP, 2000)

Application of Information Technology: The Syntax and Semantics of the PROforma Guideline Modeling Language. - David R. Sutton; John Fox 001 (J. Am. Medical Informatics Assoc., 2003)

Evaluation of PROforma as a language for implementing medical guidelines in a practical context. - David R. Sutton; Paul Taylor; Kenneth Earle (BMC Medical Informatics Decis. Mak., 2006)