A complete guide to the future (2007)

by F S de Boer, D Clarke, E B Johnsen
Venue:Proc. 16th European Symposium on Programming (ESOP’07), volume 4421 of Lecture Notes in Computer Science