Using a protean language to enhance expressiveness in specificationBard BloomAllan Chenget al.1997IEEE Transactions on Software Engineering