1 @article{Nipkow98,

     2   author={T.~Nipkow},

     3   title={{W}inskel is (almost) {R}ight: {T}owards a {M}echanized {S}emantics {T}extbook},

     4   journal={Formal Aspects of Computing},

     5   volume=10,

     6   pages={171--186},

     7   year=1998

     8 }

     9 

    10 @inproceedings{Jensen13,

    11   author    = {J.~Braband Jensen and

    12                N.~Benton and

    13                A.~Kennedy},

    14   title     = {{H}igh-{L}evel {S}eparation {L}ogic for {L}ow-{L}evel {C}ode},

    15   booktitle = {Proc.~of the 40th Symposium on Principles

    16                of Programming Languages (POPL)},

    17   year      = {2013},

    18   pages     = {301--314}

    19 }

    20