Semantic Checking of Formal Specifications (1984)

by R W Kownacki