transition from global to modular temporal reasoning about programs. volume F-13 (1985)

by In
Venue:of NATO Advanced Summer Institutes