Add another paper from Brian Cantwell Smith; add a link to the PLT course