Metamodelling and Conformance Checking with PVS (2001)

by Richard F Paige, Jonathan S Ostroff