Diller, J. <br/><br/>
proof theory symposion 

 - Berlin  Springer Verlag  1975