The anatomy of innocence revisited (2006)

by Russ Harmer, Olivier Laurent
Venue:Foundations of Software Technology and Theoretical Computer Science