Spectators and assistants: Enabling modular aspect-oriented reasoning

Bibtex entry :

@techreport {  cl02tr,
    author = { C. Clifton and G.T. Leavens },
    title = { Spectators and assistants: Enabling modular aspect-oriented reasoning },
    journal = { Tech. Rep. 02-10, Iowa State University, Department of Computer Science },
    year = { 2002 },
}