Voß, A.A.Voß2022-03-072022-03-071989https://publica.fraunhofer.de/handle/publica/285838enExpertensystemAlgebraische Spezifikation004005006Algebraic specification of a reusable expert systembook