Programmed theory in Pitman shorthand - Sharma, R. K