John Derrick Eerke A. Boiten Howard Bowman Maarten Steen Specifying and Refining Internal Operations in Z. 125-159 1998 10 Formal Asp. Comput. 2 db/journals/fac/fac10.html#DerrickBBS98