Results on reasoning about updates in Transaction Logic [chapter]

Anthony J. Bonner, Michael Kifer
1998 Lecture Notes in Computer Science  
doi:10.1007/bfb0055499 fatcat:bydybcvegbauzoslo7t2k2k7fy