Separation Logic for High-level Synthesis - Winterstein, Felix (Springer International Publishing : Imprint: Springer, 2017)