PLTL: Origins, Research and Practice

Get started with the authoritative guide to PLTL. Available from Linus Publications. For $15!