The Craft of Fiction
Adams - The Informational Turn in Philosophy
Hoare - An Axiomatic Basis for Computer Programming