Jörg Weihrauch, Willi Welti. AMETHYST: Eine rechnergestützte ::::A::::nalyse-, Entwurfs- und Dokumentations-::::Meth::::ode für leittechnische S::::yst::::eme. In R. Baumann, editor, Fachtagung Prozeßrechner 1981, GI, VDI/VDE-GMR, KfK, München, 10. und 11. März 1981, Proceedings. Volume 39 of Informatik-Fachberichte, pages 87-96, Springer, 1981.
Abstract is missing.