Title: Delta semantics defined by Petri nets
First published: 1979