Labelled formal languages and their uses (1983)

by D H Greene