Twenty20 presentation by Adnan Tariq. With Audio.
From the FoCAS Inter-project meeting, Barcelona, June 2013.