Operational Specification with Programmed Graph Rewriting Systems (1991)

by A Schürr
Venue:in German), Deutscher Universitäts-Verlag