olfsd' ottir, Axiomatizing prefix iteration with silent steps (1996)

by L Aceto, W Fokkink, R van Glabbeek, A Ing'
Venue:Information and Computation