A pre-history of the dry-dock: the gates at Portsmouth, 1496. - Barker, Richard (1999)