An Approach and Mechanism for Auditable and Testable Advanced Transaction Processing Systems. - Roger D. Schultz; Alfonso F. Cardenas (IEEE Trans. Software Eng., 1987)