Beierle, C.C.BeierleVoß, A.A.Voß2022-03-032022-03-031991https://publica.fraunhofer.de/handle/publica/180852enAlgebraische SpezifikationSoftwareentwicklung004005006003Stepwise software development with algebraic specificationsjournal article