UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Hofmann, Martin:
IgorII - an Analytical Inductive Functional Programming System (Tool Demo) .
In: Gallagher, John ; Voigtländer, Janis (Hrsg.) : Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
(37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Madrid, 18.01.2010 - 22.01.2010).
New York : ACM SIGPLAN, 2010, S. 29-32. - ISBN 978-1-60558-727-1
UnivIS ist ein Produkt der Config eG, Buckenhof