Authors: BACK RJR VONWRIGHT J

Citation: Rjr. Back et J. Vonwright, GAMES AND WINNING STRATEGIES, Information processing letters, 53(3), 1995, pp. 165-172

Authors: VONWRIGHT J

Citation: J. Vonwright, REPRESENTING HIGHER-ORDER LOGIC PROOFS IN HOL, Computer journal, 38(2), 1995, pp. 171-179

Authors: VONWRIGHT J

Citation: J. Vonwright, THE LATTICE OF DATA REFINEMENT, Acta informatica, 31(2), 1994, pp. 105-135