- 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.
- Bjørn Kristoffersen and Ole-Johan Dahl. On
Introducing Higher Order Functions in ABEL. Nordic Journal of
Computing, 5(1):50-69, Spring 1998.
Abstract,
References,
Citations,
etc.
Shortcuts: