By this I refer to axiomatic program verification and semantics. The book has a spiritual feel to it that is truly inspiring. The line of light wavered there, shaking in the wind, then slid out to sea. Aside from this single flaw, I can honestly