Zsuzsanna Márkusz: Papers on many-sorted logic as a tool for modelling (SZTAKI Tanulmányok 192/1986)
MAGYAR TUDOMÁNYOS AKADÉMIA SZÁMÍTÁSTECHNIKAI ÉS AUTOMATIZÁLÁSI KUTATÓ INTÉZETE COMPUTER AND AUTOMATION INSTITUTE, HUNGARIAN ACADEMY OF SCIENCES PAPERS ON MANY-SORTED LOGIC AS A TOOL FOR MODELLING ZSUZSANNA MÁRKUSZ Studies 192/1986 Tanulmányok 192/1986