Ionescu, C., Jansson, P., & Botta, N. (2018). Type theory as a framework for modelling and programming. Springer Nature.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումIonescu, C., P. Jansson, and N. Botta. Type Theory as a Framework for Modelling and Programming. Springer Nature, 2018.
MLA (9րդ խմբ.) ՄեջբերումIonescu, C., et al. Type Theory as a Framework for Modelling and Programming. Springer Nature, 2018.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.