Title: TAPSOFT '89
Subjects: Development, Congresses, Computer software, Mathematical Logic and Formal Languages, Software Engineering, Software engineering, Logic design, Logics and Meanings of Programs, Computer science, Programming Languages, Compilers, Interpreters, Computer Science