Neil Jones

Spacewrecked on Venus

Deathwing

Verification, Model Checking, and Abstract Interpretation

Adventures with My Sea Pass Card: The Unofficial Guide to Cruising with RoyalCaribbean (Unabridged)