doi          = {10.1080/01611194.2020.1721615},
 doi          = {10.1137/1.9780898718492},
 doi          = {10.1145/568438.568455},
 doi          = {10.1201/9780429466335},
 doi          = {10.1201/9781315120058},