High-level debugging of distributed systems: the behavioral abstraction approach (1983)

by Bates, J C Wileden