Special Issue of Theoretical Computer Science on FOSSACS 2001

Honsell Furio, Miculan Marino
2003-01-01
Cite