Visual Languages for Interactive Computing:Definitions and Formalizations
2008 年出版514 页ISBN:9781599045344
Advances in Computing Research Volume 2 1984 VLSI Theory
1984 年出版285 页ISBN:0892324619
Nested Transactions An Approach to Reliable Distributed Computing
1985 年出版161 页ISBN:0262132001