"Design and Specification of the Minimal Subset of an Operating System ..."

David Lorge Parnas, Georg Handzel, Harald Würges (1976)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics