John Bateman / Till Mossakowski Adding Common Logic Support to the Heterogeneous Toolset.
Ontological Modularity for Shared and Integrated Ontologies John Bateman University of Bremen.
Aug./Sept. 2008 Algebriac Testing 1 Automated Testing of Software Components Based on Algebraic Specifications -- Method, Tool And Experiments Hong Zhu.
Management information system
Common Algebraic Specification Language(CASL)
