@book {
author = {Bartha Tamás and Csertán György and Majzik István and Pataricza András and Varró Dániel and Varró-Gyapay Szilvia},
title = {Formális módszerek az informatikában},
year = {2010},
publisher = {Typotex Kiadó},
isbn = {978 963 954 890 9},
URL = {https://edu.interkonyv.hu/konyvek/formalis-modszerek-az-informatikaban/}
}