axioms for iteration (1999)

by Group
Venue:Inform. and Comput