Animation of Requirements Specifications. - Jeff Kramer; Nr Keng (Softw. Pract. Exp., 1988)