Gravitational microlensing - The effect of random motion of individual stars in the lensing galaxy | doi.page