Title: Formal description techniques IV
First published: 1992