The electronic chart display & information system (ECDIS) an operational handbook - Weintrit, Adam (CRC Press, 2009)