Corrected the title of one of Pietroski's papers

Signed-off-by: Thomas Hodgson <thomas.hodgson@gmail.com>