Zsolt Mihály Szabó
发表
Péter Komjáth,
Zsolt Mihály Szabó,
1985,
Mathematical Methods of Specification and Synthesis of Software Systems.
János Csirik,
Tibor Gyimóthy,
Tamás Gergely,
2001,
CSMR.