Publications by authors named "Richard J Derman"