Operating system analysis and design. (1970)