This hypertext document is intended as an introduction to the project for those who are interested in potential applications of the software technology that we aim to develop and would like to know a little bit about the theoretical ideas upon which it is based. I hope that this non-technical introduction will enable our affiliates and others interested in the project to contribute by suggesting how the technology could be applied to specific problems in software development.
An introduction is also availabe in the form of a postcript file - get postscript