O'Grady, A.R.F.; (2005) Automated design of separation processes using implicit enumeration and interval analysis. Doctoral thesis , University of London.