"UCSD Pascal"@cs .