Steve Awodey: A cubical model of homotopy type theory. Ann. Pure Appl. Log. 169(12): 1270-1294 (2018)