Anna Mikhajlova Specifying Java Frameworks Using Abstract Programs. 136- 1999 conf/tools/30-1999 TOOLS (30) http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.787543 db/conf/tools/tools30-1999.html#Mikhajlova99