UNISEX: A UNIX-based Symbolic EXecutor for Pascal. - Richard A. Kemmerer; Steven T. Eckman (Softw. Pract. Exp., 1985)