6
Tip	Tip, Frank.     Generation of program analysis tools [Текст] : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam / F. Tip; Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam : Universiteit van Amsterdam, Institute for logic, language and computation, 1995. — XI, 206 p.
ISBN 90-74795-22-6