Completeness of proof systems for equational specifications (1985)

by D MacQueen, D Sannella
Venue:IEEE Transactions on Software Engineering