Gordon, Dinah Rose, "Applications of nonstandard analysis in differentrial game theory", , 1996