Analysis and synthesis of time-shared computer systems - Nilsson, Arne (1976)