3 works on record
QED at Large
Programming Languages and Systems
Practical Aspects of Declarative Languages