title: model and verification of a data manager based on aries. authors: d kuo. venue: acm trans . database syst .. year: 1996
title: model and verification of a data manager based on aries. authors: d kuo. venue: acm transactions on database systems ,. year: 1996.0