Subtyping and Constructive Specification by Universitetet i Oslo. Institute for Informatics | Menrva Books | MenrvaBooks