"C. J. van Rijsbergen"