Kit: A Study in Operating System Verification (1989)

by William R Bevier
Venue:IEEE Transactions on Software Engineering