Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)
 Marc J. Balcer, William M. Hasling, and Thomas J. Ostrand. Automatic generation of test scripts from formal test specfications. In Proceedings of the ACM SIGSOFT’89 Symposium on Software Testing Analysis and Verification (TAV3), number 5 Key West, Florida, December 1989. ACM SIG-SOFT.
 IPL Information Processing Ltd., Bath. Cantata Test Case Definition Language Reference Manual. See also http://www.iplath.co.uk/
 Thomas J. Ostrand and Marc J. Balcer. The category-partition method for specifying and generating functional tests. Communications of the ACM, 31(6):676-686, June 1988
 Sun Microsystems, Inc. ADL Translator User’s Guide. Sun Microsystems, Inc., 1996. See also http://ADL.opengroup.org/.