Testability of Formal Specifications. - Stan P. van de Burgt; Jan Kroon; A. M. Peeters (PSTV, 1992)

Interactive Test Generation from LOTOS Specifications. - Stan P. van de Burgt; Jan Kroon; A. M. Peeters (Protocol Test Systems, 1992)

SCHISMA: A Natural Language Accessible Theatre Information and Booking System. - G. F. v. d. Hoeven; J. A. Andernach; Stan P. van de Burgt; Geert-Jan M. Kruijff; Anton Nijholt; Jan Schaake; Franciska M. G. de Jong (NLDB, 1995)