Program construction : calculating implementations from specifications. - Backhouse, Roland (John Wiley and Sons, Inc, 2003)