1. Texts in Theoretical Computer Science, the EATCS Series;D. Bjørner,2006
2. Texts in Theoretical Computer Science, the EATCS Series;D. Bjørner,2006
3. Texts in Theoretical Computer Science, the EATCS Series;D. Bjørner,2006
4. Feynmann, R., Leighton, R., Sands, M.: The Feynmann Lectures on Physics, vol. I–II–II. Addison-Wesley, California Institute of Technology (1963)