Florian Martin: Generating program analyzers. Pirrot Saarland University, Saarbrücken, Germany 1999, ISBN 978-3-930714-48-3, 1-133