A Formal Specification of a Programming Language: Design of Pit. - Leif Pedersen; Hassan Reza (ISoLA, 2006)

The Impact of a Portable Programming Language Pit. - Hassan Reza; Leif Pedersen (Software Engineering Research and Practice, 2009)

Using Pit to improve security in low-level programs. - Leif Pedersen; Hassan Reza (J. Supercomput., 2010)

The Future of Public Libraries: A Technology Perspective. - Leif Pedersen (Public Libr. Q., 2016)