Another formal specification language by E.H. Saaman