Acronyms. 2013.
IFB036 — H.K. Berg/W.K. Giloi (Hrsg.): The Use of Formal Specification of Software, Berlin 1980 … Acronyms von A bis Z