Varieties of “if-then-else (1983)

by S L Bloom, R Tindell
Venue:SIAM J. Comput