Johan Boye Jan Maluszynski Directional Types and the Annotation Method. 179-220 1997 33 J. Log. Program. 3 db/journals/jlp/jlp33.html#BoyeM97