Another formal specification language door E.H. Saaman