Joseph Pinto was a son of Samuel Pinto and Rachel Alvares. Stadsarchief Amsterdam, archiefkaart Joseph Pinto