Some Implications of Testing Procedures for Auto-Instructional Programming. Final Report.