M. Danaher;J. Munson;N. Coulter
Florida Atlantic Univ., Boca Raton, FL;Florida Atlantic Univ., Boca Raton, FL;Florida Atlantic Univ., Boca Raton, FL
Information-theoretic complexity of program specifications
The Computer Journal
A Mathematical Theory of Communication