G. Collins

ThePROSPER toolkit

T. Melham, Louise Dennis, Michael Norrish, 2003 .

The PROSPER toolkit

Richard J. Boulton, Michael Norrish, Konrad Slind, 2003, International Journal on Software Tools for Technology Transfer.

The PROSPER Toolkit

Richard J. Boulton, Michael Norrish, Konrad Slind, 2000, TACAS.

2 Two Models of Hardware for Verification 2 . 1 Circuits as Functions

Jonathan D. Hogg, G. Collins, 2007 .

A qualitative comparison of two processes for object-oriented software development

Brian Henderson-Sellers, Richard Dué, Ian M. Graham, 2001, Inf. Softw. Technol..