An approach to systems verification (1989)

by William R Bevier, Warren A Hunt, J S Moore, William D Young
Venue:JAR