A Linear Temporal Logic Approach to Objects with Transactions.

Grit Denker Jaime Ramos Carlos Caleiro Amílcar Sernadas A Linear Temporal Logic Approach to Objects with Transactions. 170-184 1997 conf/amast/1997 AMAST db/conf/amast/amast97.html#DenkerRCS97 http://dx.doi.org/10.1007/BFb0000470