Spore szanse na to, że programista zapomni usunąć, którąś referencję do niepotrzebnego obiektu.
Opracował na nowo system zarządzania obiektami współprogramów (ang. coroutines)[]. Usunął w ten sposób sprzeczności występujące w systemie współprogramów w języku Simula67. Rozwiązał razem z H. Langmaackiem, M. Krause i M. Warpechowskim problem adaptacji mechanizmu Display Vectora dla klasy języków z klasami zagnieżdżanymi i z dziedziczeniem [, zobacz też ]E.W. Dijkstra [E.W. Dijkstra, Recursive programming, Numerische Mathematik 2 (1960) 312–318] opracował mechanizm znany jako Display Vector, który pozwala przyśpieszyć dostęp do wielkości nielokalnych w językach programowania z zagnieżdżaniem procedur np. Algol60, Pascal. Nie było wiadomo, czy mechanizm ten da się zastosować w językach, które mają mechanizmy dziedziczenia bardziej liberalne niż Simula67, np. Loglan'82, czy później powstały język Java?. Podał prawidłowe rozwiązanie problemu statycznego wiązania aplikacyjnych wystąpień identyfikatorów z odpowiednią deklaracją []. Jest współautorem kolejnej (niezrealizowanej) wersji języka Loglan (zobacz ]). Stworzył running system dla języka Loglan'88.
Inne Wypromował 5 doktorantów. Dwóch z nich zostało profesorami.