G. Balbo, M. Silva, G. Chiola, J. Campos, and others. Workshop on Formalisms, Principles, and State-of-the-Art, volume 14 of Band 26, Arbeitsberichte des Instituts für Mathematische Maschinen und
Datenverarbeitung (Informatik), Erlangen, Germany, (1993)