@Article{SR95-TCS140:1,
    Author = "G. Scollo and T. Rus",
    Title = "Editorial",
    Journal = "Theoretical Computer Science", 
    Year = 1995,
    Volume = 140,
    Number = 1,
    Pages = "1-3"
}

@Article{PS95-TCS140:1,
    Author = "D. Pigozzi and A. Salibra",
    Title = "Lambda abstraction algebras: representation theorems",
    Journal = "Theoretical Computer Science", 
    Year = 1995,
    Volume = 140,
    Number = 1,
    Pages = "5-52"
}

@Article{LPS95-TCS140:1,
    Author = "F. Laroussinie, S. Pinchinat and Ph. Schnoebelen",
    Title = "Translations between modal logics of reactive systems",
    Journal = "Theoretical Computer Science", 
    Year = 1995,
    Volume = 140,
    Number = 1,
    Pages = "53-71"
}

@Article{GRS95-TCS140:1,
    Author = "R. Gorrieri, M. Roccetti and E. Stancampiano",
    Title = "A theory of processes with durational actions",
    Journal = "Theoretical Computer Science", 
    Year = 1995,
    Volume = 140,
    Number = 1,
    Pages = "73-94"
}

@Article{MM95-TCS140:1,
    Author = "A. Mokkedem and D. Mery",
    Title = "On using temporal logic for refinement and
             compositional verification of concurrent systems",
    Journal = "Theoretical Computer Science", 
    Year = 1995,
    Volume = 140,
    Number = 1,
    Pages = "95-138"
}

@Article{NOS95-TCS140:1,
    Author = "  M. Navarro, F. Orejas and A. Sanchez",
    Title = "On the correctness of modular systems",
    Journal = "Theoretical Computer Science", 
    Year = 1995,
    Volume = 140,
    Number = 1,
    Pages = "139-177"
}

@Article{W95-TCS140:1,
    Author = "E. G. Wagner",
    Title = "On the role of memory in object-oriented languages",
    Journal = "Theoretical Computer Science", 
    Year = 1995,
    Volume = 140,
    Number = 1,
    Pages = "179-199"
}