Diskussion:Simon Peyton Jones

Ja, wie heißt er denn nun?

Der QS-Baustein wurde zwar entfernt[1], aber der wilde Mix an Schreibweisen Simon Peyton-Jones / Simon Peyton Jones ist immer noch im Artikel. --Kuebi [∩ · Δ] 12:47, 19. Nov. 2009 (CET)

Er heißt Simon Peyton Jones, ohne Bindestrich. Als Beleg siehe etwa diese Bücher [2] [3] [4] [5], diese Artikel [6] [7] [8] [9] [10] oder seinen Lebenslauf: [11]. Ich werde den Artikel entsprechend ändern. -- Levin 14:24, 19. Nov. 2009 (CET)

Hab's geändert. -- Levin 14:48, 19. Nov. 2009 (CET)