by Rochus·6y ago·view on hn ↗You mix that up with https://people.inf.ethz.ch/wirth/Oberon/Oberon07.Report.pdf and https://en.wikipedia.org/wiki/Oberon-2. Mössenböck and Wirth were the PhD supervisors of Griesemer.