Methodical specification of abstract data types via rewriting systems P. A. S. Veloso OriginalPaper Pages: 295 - 323
Expert systems for decision support in EDP auditing James V. HansenWilliam F. Messier Jr. OriginalPaper Pages: 357 - 379