http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Ein allgemeiner Ansatz zum Nachweis der Äquivalenz von denotationaler und operationaler Semantik bei Programmiersprachen
D 193.615 -- STEPHAN,Werner: -- Ein allgemeiner Ansatz zum Nachweis der -- Äquivalenz von denotationaler und operationa- -- ler Semantik bei Programmiersprachen. - -- Karlsruhe 1981. I,162 S. 8° -- Karlsruhe,naturwiss.Diss.1981. -- 1984! -- W.E.