Using a Theorem Prover for Reasoning about Concurrent Algorithms. - Joakim von Wright; Thomas Långbacka (CAV, 1992)

Mechanising some Advanced Refinement Concepts. - Joakim von Wright; Jukka Hekanaho; P. Luostarinen; Thomas Långbacka (TPHOLs, 1992)

Mechanizing Some Advanced Refinement Concepts. - Joakim von Wright; Jukka Hekanaho; P. Luostarinen; Thomas Långbacka (Formal Methods Syst. Des., 1993)

A HOL Formalisation of the Temporal Logic of Actions. - Thomas Långbacka (TPHOLs, 1994)

TkWinHOL: A Tool for Window Inference in HOL. - Thomas Långbacka; Rimvydas Ruksenas; Joakim von Wright (TPHOLs, 1995)

Program Derivation Using the Refinement Calculator. - Michael J. Butler; Thomas Långbacka (TPHOLs, 1996)

Recording HOL Proofs in a Structured Browsable Format. - Jim Grundy; Thomas Långbacka (AMAST, 1997)

Refining Reactive Systems in HOL Using Action Systems. - Thomas Långbacka; Joakim von Wright (TPHOLs, 1997)

Worst-case execution time analysis for digital signal processors. - Niklas Holsti; Thomas Långbacka; Sami Saarinen (EUSIPCO, 2000)

Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software. - Niklas Holsti; Thomas Långbacka (Ada-Europe, 2003)