Full Abstraction and Universality via Realisability. - Michael Marz; Alexander Rohr; Thomas Streicher (LICS, 1999)

A universal realizability model for sequential functional computation. - Alexander Rohr (2002)