Applications of Continuous Mathematics to Computer Science (Theory and Decision Library B, 38, Band 38)