Formal Development with ABEL. by Universitetet i Oslo. Institute for Informatics | Menrva Books | MenrvaBooks