State-space sets, state-space graphs and n-prefix expressions. - Victor Köfalusi; Edit Halmay (SIGSAM Bull., 1981)

Formal method for the retrospective specification of the functionality of existing software systems. - Edit Halmay (1988)

Semantics driven intelligent front-end. - Tamás Gergely; Edit Halmay; Miklós Szöts; George Suciu; Romulus Cheveresan (SpeD, 2017)