David J.L. at his computer

2023-06-11

Used in "David J.L.: The Man Who Invented Naming Conventions"