1. Simulation 67 Common Base Language;Dahl,1970
2. A model and implementation of backtracking in a generalized control setting;Sampson,1980
3. Non-deterministic algorithms;Floyd;J. ACM,1967
4. Interpretation of non-deterministic algorithms in high level languages;Cohen;Information Processing Lett.,1975
5. Debuggers for high level languages;Lafora Garcia,1982