Reformatted PDF documents. Added reference.