Appelt, W.W.AppeltRichter, G.G.Richter2022-03-032022-03-031995https://publica.fraunhofer.de/handle/publica/18749610.1016/0920-5489(93)E0061-6en004005006A short history of the formal specifications of ODAjournal article