Mathematical foundations of information flowA. H. Clifford, Samson Abramsky, Michael W. Mislove · First published 2012Open the Tome
Automata, Languages and ProgrammingSamson Abramsky,Claude Kirchner,Cyril Gavoille · First published 2011Open the Tome
Handbook of logic in computer scienceSamson Abramsky, Dov M. Gabbay · First published 1993Open the Tome
Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991Samson Abramsky · First published 1991Open the Tome
Abstract interpretation of declarative languagesSamson Abramsky, Chris Hankin · First published 1987Open the Tome
Category Theory and Computer ProgrammingDavid Pitt, Samson Abramsky, Axel Poigne · First published 1986Open the Tome
