Title: Formal description techniques, V
First published: 1993