Software tools specification language lotos by Inez van Eyk