Stanley: The robot that won the DARPA Grand Challenge. - Sebastian Thrun; Michael Montemerlo; Hendrik Dahlkamp; David Stavens; Andrei Aron; James Diebel; Philip W. Fong; John Gale; Morgan Halpenny; Gabriel Hoffmann; Kenny Lau; Celia M. Oakley; et al. (J. Field Robotics, 2006)

Schemes in Lean. - Kevin Buzzard; Chris Hughes; Kenny Lau; Amelia Livingston; Ramon Fernández Mir; Scott Morrison (Exp. Math., 2022)