Dvořák, V. and Šustr, J. 2012. A Synthesis of Sub-Optimal Decision Programs. Computing and Informatics. 14, 1 (Jan. 2012), 93–103.