Title: On a method of multiprogramming
Subjects: Multiprogramming (Electronic computers), Multiprocessorsystemen, Programming Techniques, Software Engineering, Formale Methode, Korrektheit, Multiprogrammation, Parallelprogrammering, Logics and Meanings of Programs, Computer Science, Programm, Softwareentwicklung, Parallelverarbeitung, Computer programming