S-CORT(R): a method for the development of electronic payment systems. - Theodor Hildebrand; Nicolas Trèeves (European Workshop on Applications and Theory in Petri Nets, 1988)