Gilbert Thomas Laycock

Formal specification and testing: A case study

Gilbert Thomas Laycock, G. T. Laycock, 1992, Softw. Test. Verification Reliab..

Using an X-Machine to Model a Video Cassette Recorder

Mike Holcombe, Duan Zhenhua, Florentin Ipate, 1995 .

The theory and practice of specification based software testing

Gilbert Thomas Laycock, G. T. Laycock, 1993 .