-
Conrad, Stefan · Dissertation, Braunschweig 1994:
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte -
Gómez, Jorge Carlos Marx · Dissertation, Magdeburg 2001:
Rechnergestützte Ansätze zur Rückflussprognose von Altprodukten zum Remanufacturing