Bača, J., Giertl, J., & Chladný, V. (2004). Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics. Інститут програмних систем НАН України.
Чикаго стиль цитування (17-те видання)Bača, J., J. Giertl, та V. Chladný. Formal Specifications and Decomposition of Logic Systems for Purposes of Analysis, Synthesis and Diagnostics. Інститут програмних систем НАН України, 2004.
Стиль цитування MLA (8-ме видання)Bača, J., et al. Formal Specifications and Decomposition of Logic Systems for Purposes of Analysis, Synthesis and Diagnostics. Інститут програмних систем НАН України, 2004.
Попередження: стилі цитування не завжди правильні на всі 100%.