Theodor Hildebrand Nicolas Trèeves S-CORT<sup>(R)</sup>: a method for the development of electronic payment systems. 262-280 1988 conf/apn/1988 European Workshop on Applications and Theory in Petri Nets db/conf/apn/apn1988.html#HildebrandT88 http://dx.doi.org/10.1007/3-540-52494-0_33