Birgit Schieder Manfred Broy Adapting Calculational Logic to the Undefined. 73-81 1999 42 Comput. J. 2 db/journals/cj/cj42.html#SchiederB99