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