@ARTICLE {1862,
author={R. Chadha and P. Mateus and A. Sernadas},
doi={},
journal={Theoretical Computer Science},
title={Reasoning about quantum imperative programs},
year={2006},
month={May},
volume={158},
number={-},
pages={19-40},
ISSN={0304-3975}
}