Fegaras, Leonidas and Stemple, David "Using Type Transformation in Database System Implementation" Department of Computer and Information Science University of Massachusetts, Amherst
(1999)
Languages mentioned
POLYA
{1990}