Trace-based aspects, in: (2005)

by R Douence, P Fradet, M Sudholt