Books of Mechelen, Willem van (eds.)