Poch, T., Šerý, O., Plášil, F., & Kofroň, J. (2013). Threaded behavior protocols. Formal Aspects of Computing, 25(4), 543-572. https://doi.org/10.1007/s00165-011-0194-3
ISO-690 (author-date, English)POCH, Tomáš, ŠERÝ, Ondřej, PLÁŠIL, František und KOFROŇ, Jan, 2013. Threaded behavior protocols. Formal Aspects of Computing. 1 Juli 2013. Vol. 25, no. 4, p. 543-572. DOI 10.1007/s00165-011-0194-3.
Modern Language Association 9th editionPoch, T., O. Šerý, F. Plášil, und J. Kofroň. „Threaded Behavior Protocols.“. Formal Aspects of Computing, Bd. 25, Nr. 4, Juli 2013, S. 543-72, https://doi.org/10.1007/s00165-011-0194-3.
Mohr Siebeck - Recht (Deutsch - Österreich)Poch, Tomáš/Šerý, Ondřej/Plášil, František/Kofroň, Jan: Threaded behavior protocols., Formal Aspects of Computing 2013, 543-572.
Emerald - HarvardPoch, T., Šerý, O., Plášil, F. und Kofroň, J. (2013), „Threaded behavior protocols.“, Formal Aspects of Computing, Vol. 25 No. 4, S. 543-572.