1-4 of 4 Books
Prey
By Michael Crichton
Alif the unseen
By G. Willow Wilson
Increasing programmer productivity through logic development
By Gloria Harrington Swann
A critique of type systems for global overloading
By Dennis M. Volpano