A Formal Model of Software Subsystems

Front Matter [146 kb]
Chapter 1 [86 kb]
Chapter 2 [119 kb]
Chapter 3 [399 kb]
Chapter 4 [334 kb]
Chapter 5 [304 kb]
Chapter 6 [109 kb]
Appendix A [181 kb]
Appendix B [216 kb]
Appendix C [125 kb]
Bibliography [79 kb]

Last modified: Tue Jul 9 12:22:08 EDT 2002