1. Compilers—Principles, Techniques and Tools;Aho,1986
2. Type inclusion constraints and type inference;Aiken,1993
3. p2b: A translation utility for linking Promela and symbolic model checking (tool paper);Baldamus,2001
4. Feature interaction detection by pairwise analysis of LTL properties — a case study;Calder;Form. Methods Syst. Des.,2006
5. Jeffrey Considine, Efficient hash-consing of recursive types, Technical Report 2000-006, Boston University, Computer Science, 2000.