Constructing an algorithm proof [kasetvideo] (Milton Keynes : Open University)
42