Transition system specifications with negative premises (1993)

by J F Groote
Venue:Theoretical Computer Science