ID:DA10385127
Search authors sharing the same name
Peter W. O'Hearn, Robert D. Tennent, editors
Birkhauser c1997 Progress in theoretical computer science
v. 1 , v. 2
Available at 14 libraries