"COMAL"@cs .