Robert Valette: Analysis of Petri Nets by Stepwise Refinements. J. Comput. Syst. Sci. 18(1): 35-46 (1979)