Entry Personal Name

Number of records used in: 9

000 - LEADER

• fixed length control field: 00648cz 2200181n 4500

000 - LEADER

• fixed length control field: 1

001 - CONTROL NUMBER

• control field: 46263

003 - CONTROL NUMBER IDENTIFIER

• control field: P5A

005 - DATE AND TIME OF LATEST TRANSACTION

• control field: 20221101142015.0

008 - FIXED-LENGTH DATA ELEMENTS

• fixed length control field: 800409n| acannaab| |a aaa |||||

010 ## - LIBRARY OF CONGRESS CONTROL NUMBER

• LC control number: n 80025863

035 ## - SYSTEM CONTROL NUMBER

• System control number: oca00408142

040 ## - CATALOGING SOURCE

• Original cataloging agency: DLC
• Transcribing agency: DLC
• Modifying agency: DLC

100 1# - HEADING--PERSONAL NAME

• Personal name: Bakker, J. W. de
• Fuller form of name: (Jacobus Willem),
• Dates associated with a name: 1939-

670 ## - SOURCE DATA FOUND

• Source citation: His Formal definition of programming languages, 1967.

670 ## - SOURCE DATA FOUND

• Source citation: His Mathematical theory of program correctness, c1980:
• Information found: t.p. (Jaco de Bakker)

678 ## - BIOGRAPHICAL OR HISTORICAL DATA

• Biographical or historical data: b. 1939

900 ## -

• : nna
• : Bakker, Jacobus Willem de,
• : 1939-