title: model and verification of a data manager based on aries. authors: d kuo. venue: acm trans . database syst .. year: 1996
title: specification and verification of abstract database types. authors: d stemple , t sheard. venue: proceedings of the 3rd acm sigact-sigmod symposium on & hellip ; ,. year: 1984.0