programming languages and systems: 13th european symposium on programming, esop 2004, held as part of the joint european conferences on theory and pra (en Inglés)

schmidt, david · springer