Rolf Nossum On Test and Choice in a High-Level Programming Language. 317-321 1995 SCAI db/conf/scai/scai1995.html#Nossum95