Sherlock: Commercial High Assurance Network Computing. - Stephen P. Morgan; Stephen W. Neal; Melissa A. Hartman; Matthew R. Laue (ISW, 2000)

Tool Support for Development Using Patterns. - Stephen W. Neal; Peter F. Linington (EDOC, 2001)

Identifying requirements for Business Contract Language: a Monitoring Perspectiv. - Stephen W. Neal; James B. Cole; Peter F. Linington; Zoran Milosevic; Simon Gibson; Sachin Kulkarni (EDOC, 2003)

Using Policies in the Checking of Business to Business Contracts. - Peter F. Linington; Stephen W. Neal (POLICY, 2003)

A unified behavioural model and a contract language for extended enterprise. - Peter F. Linington; Zoran Milosevic; James B. Cole; Simon Gibson; Sachin Kulkarni; Stephen W. Neal (Data Knowl. Eng., 2004)