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

Publiceret: 1996-01-22