Books by ACM Symposium on Principles of Programming Languages (27th 2000 Boston, Mass.) on BookTides.