HINZE, R., JEURING, J., & LÖH, A. (2006, Januar 1). Typed contracts for functional programming. Gehalten auf der. Berlin: Springer, 2006. Abgerufen von http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19105395
ISO-690 (author-date, English)HINZE, Ralf, JEURING, Johan und LÖH, Andres, 2006. Typed contracts for functional programming. In: [online]. Berlin: Springer, 2006. 1 Januar 2006. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19105395
Modern Language Association 9th editionHINZE, R., J. JEURING, und A. LÖH. Typed contracts for functional programming. Berlin: Springer, 2006., 2006, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19105395.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
HINZE, R., JEURING, J. und LÖH, A. (2006), „Typed contracts for functional programming“, in , Bd. , Berlin: Springer, 2006., verfügbar unter: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=19105395.