The deductive synthesis of database transactions (1993)

by Xiaolei Qian
Venue:ACM Transactions on Database Systems