Angel Velez-Sosa
发表
Peter A. Gloor,
Irene Lee,
Angel Velez-Sosa,
1992,
Computational Support for Discrete Mathematics.
Peter A. Gloor,
Angel Velez-Sosa,
1993,
CSC '93.