TY  - BOOK
AU  - Nakajima,Reiji
AU  - Yuasa,Taiichi
ED  - SpringerLink (Online service)
TI  - The IOTA Programming System: A Modular Programming Environment 
T2  - Lecture Notes in Computer Science,
SN  - 9783540386841
AV  - QA76.758 
U1  - 005.1 23
PY  - 1983///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Computer Science
KW  - Software Engineering
N1  - 1. Language, logical foundation, verification -- 2. System supports for modular programming -- 3. Strategies and techniques for interactive proof -- 4. Supports for building modules, modulebase -- 5. Language processing -- 6. Verification system -- 7. Proof system -- 8. Supports for cooperative modular programming -- 9. Program development witht he IOTA system — KWIC example
UR  - http://dx.doi.org/10.1007/3-540-12693-7
ER  -