1. Observation equivalence as a testing equivalence;Abramsky;Theor. Comput. Sci.,1987
2. Linear and branching system metrics;de Alfaro;IEEE Trans. Softw. Eng.,2009
3. Fuzzy Relational Systems: Foundations and Principles;Bělohlávek,2002
4. Graph Theory with Applications;Bondy,1976
5. Holistic twig joins: optimal XML pattern matching;Bruno,2002