Het De Pintohuis. (Amsterdam : Vereniging Vrienden van de Amsterdamse Binnenstad, 1998)