Tackling seperation via abstraction (with proofs) /
Jones, Cliff B.,author.
Yatapanage, Nisansala.
University of Newcastle upon Tyne.School of Computing Science.
Title from caption.
"January 2015."