ABC ALGOL: A programming language </>