Behavioural synthesis utilising recursive definitions. - Andrew D. Brown; D. J. D. Milton; Andrew J. Rushton; Peter R. Wilson (IET Comput. Digit. Tech., 2012)