MLA
Hu, Gongzhu, et al. "Formal Specification and Implementation of Priority Queue using Stream Functions." IJSI vol.1, no.3 2013: pp.66-75. http://doi.org/10.4018/ijsi.2013070105
APA
Hu, G., Zhang, J., & Lee, R. (2013). Formal Specification and Implementation of Priority Queue using Stream Functions. International Journal of Software Innovation (IJSI), 1(3), 66-75. http://doi.org/10.4018/ijsi.2013070105
Chicago
Hu, Gongzhu, Jin Zhang, and Roger Lee. "Formal Specification and Implementation of Priority Queue using Stream Functions," International Journal of Software Innovation (IJSI) 1, no.3: 66-75. http://doi.org/10.4018/ijsi.2013070105
Export Reference
![Mendeley](https://coverimages.igi-global.com/images/mendeley.png)