SP/k: A programming language </>