. . "Barendregt, H. 1955-1959"@nld . "Barendregt, H. 1955-1959"@nld . .