https://hgpu.org/?p=3103
Formal Description and Optimization Based High - Performance Computing on CUDA