Preliminary Report on the Specification and Programming Language ABEL by Ole-Johan Dahl | Menrva Books | MenrvaBooks