1. H. Comon M. Dauchet R. Gilleron C. Löding F. Jacquemard D. Lugiez S. Tison and M. Tommasi. 2007. Tree Automata Techniques and App.. Available on:. http://tata.gforge.inria.fr/ H. Comon M. Dauchet R. Gilleron C. Löding F. Jacquemard D. Lugiez S. Tison and M. Tommasi. 2007. Tree Automata Techniques and App.. Available on:. http://tata.gforge.inria.fr/
2. Verifying correct usage of context-free API protocols
3. Martin Fowler. 2005. FluentInterface. https://www.martinfowler.com/bliki/FluentInterface.html Martin Fowler. 2005. FluentInterface. https://www.martinfowler.com/bliki/FluentInterface.html