"Verifying Specifications with Proof Scores in CafeOBJ."

Kokichi Futatsugi (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics