Hudak, S., Korecko, S., & Simonak, S. (2008). A Support tool for the reachability and other petri nets- related problems and formal design and analysis of discrete systems. Інститут програмних систем НАН України.
Чикаго стиль цитування (17-те видання)Hudak, S., S. Korecko, та S. Simonak. A Support Tool for the Reachability and Other Petri Nets- Related Problems and Formal Design and Analysis of Discrete Systems. Інститут програмних систем НАН України, 2008.
Стиль цитування MLA (8-ме видання)Hudak, S., et al. A Support Tool for the Reachability and Other Petri Nets- Related Problems and Formal Design and Analysis of Discrete Systems. Інститут програмних систем НАН України, 2008.
Попередження: стилі цитування не завжди правильні на всі 100%.