Forgács, I., Horváth, A. and Somos, E. 1990. MICROTEST : a testing tool on PC. Acta Cybernetica. 9, 3 (Jan. 1990), 323-332.