publication venue for Role of Abstraction in Program Development (Invited Paper). 1986 MATHEMATICAL SEMANTICS AND A MODEL FOR DATA BASES. 1977
