"Prospero Pascal"@cs .