Daniel M. Berry Erik Kamsties The Syntactically Dangerous All and Plural in Specifications. 55-57 2005 22 IEEE Software 1 http://doi.ieeecomputersociety.org/10.1109/MS.2005.22 db/journals/software/software22.html#BerryK05