Стиль цитування APA (7-ме видання)
Martin Hofmann. Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings. Springer.
Чикаго стиль цитування (17-те видання)
Martin Hofmann. Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings. Berlín, Alemania: Springer.
Стиль цитування MLA (9-ме видання)
Martin Hofmann. Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings. Springer.
Попередження: стилі цитування не завжди правильні на всі 100%.