Publications by authors named "Andries J M de Man"