Multiple Version Loops. - Mark Byler; Michael Wolfe; James R. B. Davies; Christopher Huson; Bruce Leasure (ICPP, 1987)