Dvořák, V.; Šustr, J. A Synthesis of Sub-Optimal Decision Programs. Comput. Inform. 2012, 14, 93-103.