Aug./Sept. 2008 Algebriac Testing 1 Automated Testing of Software Components Based on Algebraic Specifications -- Method, Tool And Experiments Hong Zhu.
Tools to Model Agent Based Systems Florian Twaroch Forschungsseminar „Scientist’s Toolbox” Vienna, 25.11.2003.