The formal verification of generic interpretersby Phillip J. WindleyValidationFlight controlComputer programsWriting a summary for young readers…For young readersBook data: Open Library