"Maurice Auslander"