Peter E. Lauer: On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 1-31