Behaviour structures and nets (1988)

by A M Rabinovich, Trakhtenbrot
Venue:Foundamenta Informatica