Microcode compaction techniques for horizontally microprogrammed machines
study of error locating and unidirectional error correcting codes
Certain investigations in Finsler structures and connections on vector bundle