@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 },
}