The Electronic Chart Display and Information System (ECDIS) an operational handbook - Weintrit, Adam. (CRC Press, 2009)