GOS---Graph Operational Semantics. Speciale 92-1-9 (1992)

by K H Rose
Venue:DIKU, Universitetsparken 1, DK--2100 K��benhavn