Decision Problems for Tag Systems. - Stål Aanderaa; Dag Belsnes (J. Symb. Log., 1971)

Single-Message Communication. - Dag Belsnes (IEEE Trans. Commun., 1976)

Some problems with the X.25 packet level protocol. - Dag Belsnes; Ejvind Lynning (Comput. Commun. Rev., 1977)

A simple extension of Pascal for quasi-parallel processing. - Terje Noodt; Dag Belsnes (ACM SIGPLAN Notices, 1980)

Rationale and Tutorial on OSDL: An Object-Oriented Extension of SDL. - Birger Møller-Pedersen; Dag Belsnes; Hans Petter Dahle (Comput. Networks, 1987)

Formalisation Based on Understanding. - Maria Manuela Marques; Dag Belsnes; Malachy Murphy (FORTE, 1993)

Formal Methods and Service Specification. - Mícheál Mac an Airchinnigh; Dag Belsnes; Gerard O'Regan (IS&N, 1994)