Nagy, Zsolt, and József Sziray. 1991. “THE USE OF A FUNCTIONAL DESCRIPTION LANGUAGE FOR TEST GENERATION ”. Periodica Polytechnica Electrical Engineering 35 (4):263-72.