Gongzhu Hu. Formal Specification of Bounded Buffer using Stream Functions. In Proceedings of the IEEE International Conference on Information Reuse and Integration, IRI 2009, 10-12 August 2009, Las Vegas, Nevada, USA. pages 230-235, IEEE Systems, Man, and Cybernetics Society, 2009. [doi]