cam a22 u 4500 128622717 CHVBK 20200315210851.0 880212s1980 gw | 00 |eng|d (NEBIS)000240119 ETH-BIB ger ETH-BIB ETHICS-ISBD The formal semantic specification using VDM 54 p. Bericht 74 74 (NEBIS)000032942 12647754X Specification of PASCAL/R [Part 2] 2 (NEBIS)000240117 ETH nebis E2 NEBIS 490 -- Bericht 74 74 (NEBIS)000032942 12647754X NEBIS 490 -- Specification of PASCAL/R [Part 2] 2 (NEBIS)000240117 BK020000 XK020000 XK020000 NEBIS E01 E01 MG P 714850: 74