de Vries (1997)

by J R Kennaway, J W Klop, M R Sleep, F J
Venue:Theoretical Computer Science