Oscar Callaú, Éric Tanter: Programming with Ghosts. IEEE Softw. 30(1): 74-80 (2013)