International biographical dictionary of computer pioneers