Michiel Adriaenszoon de Ruyter, 1607-1676 - Rijksmuseum editors (The Rijksmuseum Bulletin, 1957)