"Memory and Processor Utilization in Safe States."

Sigram Schindler, Steffen Buder (1974)
a service of Schloss Dagstuhl - Leibniz Center for Informatics