David Cox Simon Polovina Helping System Users to Be Smarter by Representing Logic in Transaction Frame Diagrams. 460-463 2007 conf/iccs/2007 ICCS http://dx.doi.org/10.1007/978-3-540-73681-3_34 db/conf/iccs/iccs2007.html#CoxP07