APA stil citiranja

Aoun, A. S., Barbanera, F., Dezani-Ciancaglini, M., & Mirasyedioglu, S. (1997). Principal typing for parallel and non-deterministic lambda-caculus: Principal typing for parallel and non-deterministic lambda-caculus. CIT. Journal of computing and information technology.

Chicago stil citiranja

Aoun, Ali S., Franco Barbanera, Mariangiola Dezani-Ciancaglini, and Seref Mirasyedioglu. "Principal typing for parallel and non-deterministic lambda-caculus: Principal typing for parallel and non-deterministic lambda-caculus." 1997.

MLA stil citiranja

Aoun, Ali S., Franco Barbanera, Mariangiola Dezani-Ciancaglini, and Seref Mirasyedioglu. "Principal typing for parallel and non-deterministic lambda-caculus: Principal typing for parallel and non-deterministic lambda-caculus." 1997.