Enviar aquest missatge de text: Functional program testing and analysis / William E. Howden.