changelog: - compared results with eisner03 - moved proofs to appendix - corrected typos, wording, etc.
