Abstract data types and Processes - Woodcock, J; Davies, J; Bolton, C (2000)