1. S. Magill, A. Nanevski, E. Clarke, P. Lee, Inferring invariants in separation logic for imperative list-processing programs, in Proceedings of the Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management (SPACE) (2006), pp. 47–60
2. D. Distefano, P. O’Hearn, H. Yang, A local shape analysis based on separation logic, in Proceedings of the international Conference on Tools and Algorithms for the Construction and Analysis of Systems (2006), pp. 287–302
3. M. Raza, C. Calcagno, P. Gardner, Automatic parallelization with separation logic, in Programming Languages and Systems (2009), pp. 348–362
4. M. Botinčan, D. Distefano, M. Dodds, R. Grigore, M.J. Parkinson, coreStar: the core of jStar. Boogie 65–77 (2011)
5. Xilinx Vivado HLS, Accessed 12 May 2015. http://www.xilinx.com/products/design-tools/vivado/integration/esl-design.html