Publications by authors named "Allen E Jensen"