Bard Bloom Allan Cheng Ashvin Dsouza Using a Protean Language to Enhance Expressiveness in Specification. 224-234 http://www.computer.org/tse/ts1997/e0224abs.htm 1997 23 IEEE Trans. Software Eng. 4 db/journals/tse/tse23.html#BloomCD97