Notes from: The Aspenäs Symposium on Functional Languages and Computer Architecture. - Kent Karlsson; Kent Petersson (ACM SIGPLAN Notices, 1982)

Types and Specifications. - Bengt Nordström; Kent Petersson (IFIP Congress, 1983)

Program Derivation in Type Theory: A Partitioning Problem. - Kent Petersson; Jan M. Smith (Comput. Lang., 1986)

Concrete Syntax for Data Objects in Functional Languages. - Annika Aasa; Kent Petersson; Dan Synek (LISP and Functional Programming, 1988)

A Set Constructor for Inductive Sets in Martin-Löf's Type Theory. - Kent Petersson; Dan Synek (Category Theory and Computer Science, 1989)