Edinburgh Research Explorer Grammar as procedures