Fixed notation and added citations