No. 22 (1996): RS-22 An Equational Axiomatization for Multi-Exit Iteration

Published: 1996-01-22