Mathematical foundations of computing (American Institute of Mathematical Sciences, 2018)
Refereed/Peer-reviewed