Formal methods in computing - Ferenczi, M. (Miklos); Pataricza, Andras , 1954-; Ronyai, Lajos. (Akademiai, Kiado, 2005)