The automatic generation and execution of Lean Cuisine+ specifications : a thesis presented in partial fulfilment of the requirements for the degree of Master of Information Science in Computer Science at Massey University