A Formal Methodology for the Design of Operating System Software (1977)

by L Robinson, K N Levitt, P G Neumann, A R Saxena
Venue:Current Trends in Programming Methodology, Volume I: Software Specification and Design. Prentice-Hall