Proceedings of FOSSACS 2001

Honsell F, Miculan M
2001-01-01
Cite