An Equational Axiomatization for Multi-Exit Iteration (1996)

by Wan J. Fokkink , Luca Aceto , Luca Aceto , Wan Fokkink , Xn Pnx Qn
Venue:Information and Computation
Citations:13 - 8 self