Specification and Verification of Database Dynamics.

José Luiz Fiadeiro Amílcar Sernadas Specification and Verification of Database Dynamics. 625-661 1988 25 Acta Inf. 6 db/journals/acta/acta25.html#FiadeiroS88