publication venue for MODAL SYSTEM OF ALGEBRAS FOR DATABASE SPECIFICATION AND QUERY/UPDATE LANGUAGE SUPPORT. 1983
