@article{Banach-algs,
author={Thierry Coquand and Bas Spitters},
title={A Constructive Theory of {B}anach algebras},
volume=2,
number=11,
year=2010,
pages={1--15},
journal={Logic and Analysis}
}