An approach to systems verification (1989)

by W R Bevier, W A Hunt, J S Moore, W D Young
Venue:Journal of Automated Reasoning