The realisation of JSD specifications in object oriented languages. - Colin T. Lewis (1991)