Hanne Riis Nielson. Polymorphic subtyping for behaviour analysis. Unpublished manuscript (1996)

by Torben Amtoft, Flemming Nielson