Trace-based aspects (2004)

by R Douence, P Fradet, M Sudholt