Văn bản này: Formal verification of AI software / John Rushby, R. Alan Whitehurst.