Nagy, Z. and Sziray, J. (1991) “THE USE OF A FUNCTIONAL DESCRIPTION LANGUAGE FOR TEST GENERATION ”, Periodica Polytechnica Electrical Engineering, 35(4), pp. 263–272.