Formal Development with ABEL.

Ole-Johan Dahl, Olaf Owe

Browse the full FM paper archive.