Proving entailment between conceptual state specifications (1988)

by W Stark
Venue:Theoretical Computer Science