Design and programming of interfaces for monetic applications using Petri nets. - Theodor Hildebrand (European Workshop on Applications and Theory in Petri Nets, 1984)

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)

PROOFS: Application engineering based on formal methods. - Kees M. van Hee; Theodor Hildebrand; Sergio Copelli (Microprocess. Microprogramming, 1992)