Bača, J., Giertl, J., & Chladný, V. (2004). Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics. Інститут програмних систем НАН України.
Chicago-Zitierstil (17. Ausg.)Bača, J., J. Giertl, und V. Chladný. Formal Specifications and Decomposition of Logic Systems for Purposes of Analysis, Synthesis and Diagnostics. Інститут програмних систем НАН України, 2004.
MLA-Zitierstil (8. Ausg.)Bača, J., et al. Formal Specifications and Decomposition of Logic Systems for Purposes of Analysis, Synthesis and Diagnostics. Інститут програмних систем НАН України, 2004.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.