4 ms·Btw Peter Nair's "programming as theory building" is the best description of this approach I know of.by sriku 9y agoBtw Peter Nair's "programming as theory building" is the best description of this approach I know of.m1n1 9y agoNaur