Securities at risk by J. Barendregt