Orosz, Ákos (2023) Megbízható folyamatok szintézise P-gráf módszertanra alapozva. PhD thesis, Pannon Egyetem.