HAMANA, M. (2006, Januar 1). An initial algebra approach to term rewriting systems with variable binders. 19(2-3). Heidelberg: Springer, 2006. Abgerufen von http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18084221
ISO-690 (author-date, English)HAMANA, Makoto, 2006. An initial algebra approach to term rewriting systems with variable binders. In: [online]. Heidelberg: Springer, 2006. 1 Januar 2006. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18084221
Modern Language Association 9th editionHAMANA, M. An initial algebra approach to term rewriting systems with variable binders. Nr. 2-3, Heidelberg: Springer, 2006., 2006, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18084221.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
HAMANA, M. (2006), „An initial algebra approach to term rewriting systems with variable binders“, in , Bd. 19, Heidelberg: Springer, 2006., verfügbar unter: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18084221.