Specific
contributions are cited in the ???Further readings??? chapters at the end of each part.
Jonathan Jacky especially thanks Colin Campbell, who introduced him to the
group; Yuri Gurevich, who invited him to be a visiting researcher at Microsoft; and
Wolfram Schulte, who arranged for support and resources while writing this book.
Jonathan also thanks John Sidles and Joseph Garbini at the University ofWashington,
who granted him permission to go on leave to Microsoft Research. Jonathan thanks
his wife, Noreen, for her understanding and encouragement through this project.
Jonathan??™s greatest thanks go to his coauthors Colin, Margus, and Wolfram, not
only for these pages but also for the years of preparatory work and thought. Each
made unique and absolutely essential individual contributions, without which this
book would not exist.
Margus Veanes thanks the members of the Foundations of Software Engineering
group, in particular Yuri Gurevich, for laying amathematical foundation upon which
much of his work has been based, and Colin Campbell, for being a great research
partner. Finally, Margus thanks his wife, Katrine, and his sons, Margus and Jaan,
for their love and support.
Colin Campbell would like to thank Jim Kajiya for his technical vision and
steadfast support of this project over almost a decade. Colin also acknowledges a
profound debt to Yuri Gurevich for teaching him how to understand discrete systems
xv
xvi Acknowledgments
as evolving algebras and to Roberta Leibovitz, whose extraordinarily keen insight
was welcome at all hours of the day and night.
Pages:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25