Title: Toward formal specification of operating system modules
First published: 1988