Formal and Informal Specifications of a Secure System Component: first results in a comparative study. - John S. Fitzgerald; T. M. Brookes; M. A. Green; Peter Gorm Larsen (FME, 1994)

Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. - T. M. Brookes; John S. Fitzgerald; Peter Gorm Larsen (FME, 1996)

Applying Formal Specification in Industry. - Peter Gorm Larsen; John S. Fitzgerald; T. M. Brookes (IEEE Softw., 1996)