Obituary: Ole-Johan Dahl.

Published in: Formal Aspects Comput. (2003)