Olaf Owe
Ole-Johan Dahl, Olaf Owe, and Tore J. Bastiansen.
Subtyping and Constructive Specification.
Nordic Journal of Computing
, 5(1):19-49, Spring 1998.
Abstract, References, Citations, etc.
Magne Haveraaen and Olaf Owe.
Guest Editors' Foreword.
Nordic Journal of Computing
, 8(3):277-278, Fall 2001.
Shortcuts:
Nordic Journal of Computing homepage
Bibliography top level
Nordic Journal of Computing Author Index
Search the HBP database