A Theory of the Leuarnable (1984)

by L G Valiant
Venue:Communications of the ACM