Gogolla, M., S. Conrad, G. Denker, R. Herzig, N. Vlachantonis, and H. - D. Ehrich,
"TROLL light --- The Language and Its Development Environment",
KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report: Springer, pp. 205-220, 1995.
Abstract
Download: 1995TrollLight.pdf (971.69 KB)
Gogolla, M., and H. - D. Ehrich,
Contributions to: Algebraic System Specification and Development,
, Bidoit, M., Kreowski, H.-J., Lescanne, P., Orejas, F. and Sannella, D., editors: Springer, Berlin, LNCS 501, 1991.
Abstract