Title: The verification of simulation programs
First published: 1975