@Article{Matthes-Joachimski-AML,
author = {Felix Joachimski and Ralph Matthes},
title = {Short Proofs of Normalization for the simply-typed
$\lambda$-calculus, permutative conversions and
{G}{\"o}del's {T}},
journal = {Archive for Mathematical Logic},
year = 2003,
volume = 42,
number = 1,
pages = {59--87}
}
@Article{Takahashi-IandC,
author = {Masako Takahashi},
title = {Parallel reductions in $\lambda$-calculus},
journal = {Information and Computation},
year = 1995,
volume = 118,
number = 1,
pages = {120--127},
month = {April}
}