1
by Dowty, David R.
Published 1979
Springer Netherlands

2
by Dowty, David R., Wall, Robert E., Peters, Stanley
Published 1981
Springer Netherlands