Ocean: The History. A history of Ocean Software by Chris Wilkins & Roger M. Kean. Hardback book.