Authors: Schieder, B Broy, M

Citation: B. Schieder et M. Broy, Adapting calculational logic to the undefined, COMPUTER J, 42(2), 1999, pp. 73-81