Demonstrating equivalence of source code and (1992)

by D J Pavey, L A Winsborrow
Venue:and PROM contents’, The Computer Language