Title: Formal description techniques II
First published: 1990