Publications by authors named "Peter Heydemann"