Sequential Function Specification Method