David Michael Ritchie Park (1935–1990) in memoriam

• Authors:

• Michael Paterson

• Affiliations:

• -

• Venue:
• Theoretical Computer Science - Special issue on formal methods in databases and software engineering
• Year:
• 1994