Programování s omezujícími podmínkami — na cestě ke svatému grálu Roman Barták (2000) Pokroky matematiky, fyziky a astronomie