Abstract Reviews the book "EDP Audit Symposium: 1979/80 Proceedings," edited by Joseph L. Sardinas.
Meyer et al. (Thu,) studied this question.