Specifications for the Nectar Programming Language