Voß, A.A.Voß2022-03-082022-03-081989https://publica.fraunhofer.de/handle/publica/316181en004005006A layered algebraic specification technique for expert systemsconference paper