APA (7e ed.) Bronvermelding

SpringerLink (Online service), Palomino, M., & Marti-Oliet, N. (2013). Recent trends in algebraic development techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Springer Berlin Heidelberg.

Chicago (17e ed.) Bronvermelding

SpringerLink (Online service), Miguel Palomino, en Narciso Marti-Oliet. Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

MLA (8e ed.) Bronvermelding

SpringerLink (Online service), et al. Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Springer Berlin Heidelberg, 2013.