Transition System Specifications with Negative (1993)

by J F Groote
Venue:Premises, Report CS-R8950, Centrum voor Wiskunde in Informatica