Formal definition of the parameterized aspect calculus (2003)

by Curtis Clifton, Gary T Leavens, Mitchell Wand