S. Zilberstein, “Operational Rationality through Compilation of Anytime Algorithms ”, AIMag, vol. 16, no. 2, p. 79, Jun. 1995.