Citação norma APA

López-Rueda, R. (2021). Narrowing and Unification in the Maude Programming Language.

Citação norma Chicago

López-Rueda, Raúl|||0000-0002-2550-8041. Narrowing and Unification in the Maude Programming Language. 2021.

Citação norma MLA

López-Rueda, Raúl|||0000-0002-2550-8041. Narrowing and Unification in the Maude Programming Language. 2021.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.