References
- Bird R. S. Lectures on Constructive Functional Programming Oxford University Programming Research Group Monograph PRG-69. 1988
- Aho , A. V. 1992 . “ Algorithms and Complexity ” . In Algorithms for finding patterns in strings, in Handbook of Theoretical Computer Science , Vol. A , 255 – 295 . Elsevier Science Publishers .
- Aho , A. V. , Sethi , R. and Ullman , J. D. 1988 . Compilers-Principles, Techniques and Tools , Addison Wesley Publishing Company .
- Bird , R. S. 1987 . “ An Introduction to the Theory of Lists ” . In Logic of Programming and Calculi of Discrete Design , Edited by: Broy , M. 3 – 42 . Springer-Verlag .
- Bird , R. S. , Gibbons , J. and Jones , G. 1989 . Formal derivation of a pattern matching algorithm . Science of Computer Programming , 12 : 93 – 104 .
- Heering , J. , Klint , P. and Rekers , J. 1992 . Incremental Generation of Lexical Scanners . ACM TOPLAS , 14 ( 4 ) : 490 – 520 .
- Hopcroft , J. E. and Ullman , J. D. 1988 . Introduction to Automata Theory, Languages and Computation , Addison Wesley Publishing Company, Inc. .
- Ousterhoust , J. 1991 . Tcl and the Tk Toolkit , Addison Wesley .