MICROTEST : a testing tool on PC - Forgács, István; Horváth, Attila; Somos, Endre (Acta Cybernetica, 1990)