Ito's formula for the discrete-time quantum walk in two dimensions - Clement Ampadu (2012)