"ABC ALGOL"@cs .