Voir la notice de l'article provenant de la source Czech Digital Mathematics Library
@article{PMFA_2000__45_3_a3, author = {Bart\'ak, Roman}, title = {Programov\'an{\'\i} s~omezuj{\'\i}c{\'\i}mi podm{\'\i}nkami {\textemdash} na cest\v{e} ke svat\'emu gr\'alu}, journal = {Pokroky matematiky, fyziky a astronomie}, pages = {218--231}, publisher = {mathdoc}, volume = {45}, number = {3}, year = {2000}, zbl = {1049.68558}, language = {cz}, url = {http://geodesic.mathdoc.fr/item/PMFA_2000__45_3_a3/} }
Barták, Roman. Programování s omezujícími podmínkami — na cestě ke svatému grálu. Pokroky matematiky, fyziky a astronomie, Tome 45 (2000) no. 3, pp. 218-231. http://geodesic.mathdoc.fr/item/PMFA_2000__45_3_a3/