Ferenczi, M. and Pataricza, A. and Rónyai, L., eds. (2005) Formal Methods in Computing. Akadémiai Kiadó, Budapest. ISBN 963-05-8258-9