Stefano Ceri Giuseppe Pelagatti Giampio Bracchi Integrated Specification of Static and Dynamic Requirements of Database Applications: The Transaction Definition Language. 499-504 1980 IFIP Congress db/conf/ifip/ifip80.html#CeriPB80