F 
ast e n bau er, Michael: Korrektheitsbeweise. 
1985 

s. Barth, Wilhelm.