Books by Hans Steinmuller