001: Vdm 91: Formal Software Development Methods : Proceedings (Lecture Notes in Computer Science) 104,81 EUR*