Important Links
Machine generated authority record.
Work cat.: (OSt)15504: Formal description techniques VIII, 1986.