"Virtual Pascal"@cs .