Alan G. Konheim Bernd Meister Service in a Loop System. 92-108 1972 19 J. ACM 1 http://doi.acm.org/10.1145/321679.321687 db/journals/jacm/jacm19.html#KonheimM72