Douglas R. Troeger Step Bisimulation is Pomset Equivalence on a Parallel Language Without Explicit Internal Choice. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1993, v:3, n:1, pp:25-62 [Journal]

Adam Obtulowicz Algebra of Constructsion II: An Algebraic Approach to Martin-Löf Theory and the Calculus of Constructions. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1993, v:3, n:1, pp:63-92 [Journal]