Operating Systems Principles

Design patterns for semaphores

Proceedings of the 35th SIGCSE technical symposium on Computer science education

Design of a flexible case-study instructional module for operating systems for information technology

CITC5 '04 Proceedings of the 5th conference on Information technology education

Enhancing operating system course using a comprehensive project: decades of experience outlined

Journal of Computing Sciences in Colleges

Hierarchy of formal descriptions for architectural analysis and design of complex CS

International Journal of Computers and Applications