The IOTA Programming System 1983

Basis Concepts and Design Principles

System Description and Implementation Issues

Program Development with the IOTA System

Appendix

a service of Schloss Dagstuhl - Leibniz Center for Informatics