4.4BSD/usr/src/contrib/bib/src/tests.ref

#%E Guy Cousineau
#%E Pierre-Louis Curien
#%E Bernard Robinet
#%T Combinators and Functional Programming Languages
#%I Springer-Verlag
#%S LNCS 242
#%D 1986

%A Yoshito Yamane
%T Some Thoughts on the Type System of B
%P 105-110
%J SIGPLAN Notices
%V 20
%N 10
%D |OCT| 1985