APA (7th ed.) Citation

Molnár, Ľ., Návrat, P., & Vojtek, V. Automatická syntéza programov z neprocedurálnych špecifikácií.

Chicago Style (17th ed.) Citation

Molnár, Ľudovít, Pavol Návrat, and Vladimír Vojtek. Automatická Syntéza Programov Z Neprocedurálnych špecifikácií.

MLA (9th ed.) Citation

Molnár, Ľudovít, et al. Automatická Syntéza Programov Z Neprocedurálnych špecifikácií.