Reliable computation with unreliable computers. Issue 4 (1st July 2015)