Title: The concurrent programming of operating systems using the Turing Plus language
Subjects: Computer programming, Operating systems (Computers), Systems programming (Computer science), Turing (Computer program language)