Jean-Loup Baer Daniel P. Bovet Gerald Estrin Legality and Other Properties of Graph Models of Computations. 543-554 1970 17 J. ACM 3 http://doi.acm.org/10.1145/321592.321605 db/journals/jacm/jacm17.html#BaerBE70