1
Published 2007
Springer Netherlands
... volume that is both a survey of the cutting edge in research on the technical aspects of abstraction...