Mel Ó Cinnéide;Paddy Nixon
-;-
Using CafeOBJ to Mechanise Refactoring Proofs and Application
Electronic Notes in Theoretical Computer Science (ENTCS)