Alma-0: A programming language </>