Derek Rayside Aleksandar Milicevic Kuat Yessenov Greg Dennis Daniel Jackson Agile specifications. 999-1006 2009 OOPSLA Companion http://doi.acm.org/10.1145/1639950.1640070 conf/oopsla/2009c db/conf/oopsla/oopsla2009c.html#RaysideMYDJ09