Kit: A study in operating system verification (1989)

by W R Bevier
Venue:IEEE Transactions on Software Engineering