De omvang van het Haarlemmermeer en de meren waaruit het ontstaan is, op verschillende tijden vóór de droogmaking / door J.C. Ramaer