Contents Preface Introduction Appendix B: Language Reference Appendix E: Comparison to Other Approaches