Elementary transition systems (1992)

by M Nielsen, G Rozenberg, P S Thiagarajan
Venue:Theoretical Computer Science