High Assurance Services Computingby Jing Dong, Raymond Paul, Liang-Jie ZhangWriting a summary for young readers…For young readersBook data: Open Library