@misc{Neumann1994, author = {Neumann, Hans and Hru{\v s}ka, Blahoslav}, year = {1994}, }