Books by Symposium on Theoretical Aspects of Computer Science (12th 1995 Munich, Germany)