V. Dvořák and J. Šustr, “A Synthesis of Sub-Optimal Decision Programs”, Comput. Inform., vol. 14, no. 1, pp. 93–103, Jan. 2012.