SSPTV - a software system for programs testing and verification - Bologna, S.; Taylor, J. R. (Consultant) (Risø Library, Risø National Laboratory, 1978)