Stephen L. Bloom, Ralph Tindell: Varieties of "if-then-else". SIAM J. Comput. 12(4): 677-707 (1983)