Ohjelmatestauksen apuneuvoja - Laitinen, Teuvo (Raportti / Valtion teknillinen tutkimuskeskus. Atk-palvelutoimisto, ISSN 0357-8100, 1980)