Alblas H., Groen J.H, Nymeyer A. and Slot C.G.M: "Student Language Development Environment", Twente University Press, 1998.
2. Nymeyer A. : Backtracking non-deterministic recognisers, Journal of Programming Languages, vol. 3, pages 231-253, 1995
3. Nymeyer A., Katoen J.-P, Westra Y. and Alblas H.: Code generation = A* + BURS, Lecture Notes in Computer Science #1060, Proceedings of the 6th Int. Conference on Compiler Construction, Linkoping, Sweden, pages 160-176, April, 1996.
4. Jansen J-A., van Hengstum E. and Nymeyer A. A Network Management Agent as Development Tool for Management Information Bases, Proceedings of the Eunice Summer School on Telecommunications Services, Lausanne, Switzerland, September, 1996
5. Nymeyer A. and Katoen J.-P.: Code generation based on formal BURS theory and heuristic search, ACTA Informatica, Volume 34, Number 8, pages 597-635, 1997
6. Katoen J.-P. and Nymeyer A.: The systematic development of a pattern-matching algorithm using term rewrite systems, Proceedings of CATS'97 (Computing: The Australian Theory Symposium), Sydney, Australia, February 3-4, 1997
7. Katoen J-P. and Nymeyer A.: Pattern-Matching Algorithms Based on Term Rewrite Systems, Journal of Theoretical Computer Science, volume 238, pages 439-464, 2000.