G.E. Veldhuijzen van Zanten A Formal Model for Code Generation, PhD Thesis, University of Twente, Twente University Press, Enschede, ISBN 90-9005445-6, Pages: 149, Promotors: A. Nijholt, Ass. Promotors: H. Alblas, 1992 [ BiBTeX ]
M.M. FokkingaLaw and Order in Algorithmics, PhD Thesis, University of Twente, University of Twente, Enschede, ISBN 90-9004816-2, Pages: 160, Promotors: L.G.L.T. Meertens and L.A.M. Verbeek, 1992 [ BiBTeX ]