Title: Formal systems specification
Subjects: Memory management (Computer science), Electronic data processing, Distributed processing, Computer networks