Publications by authors named "M G Hartmanis"