Primality testing and integer factorization in public-key cryptographySong Y. Yan · First published 2003 · Latest edition 2009Open the Tome
Introduction to Formal Languages and Machine ComputationSong Y. Yan · First published 1996Open the Tome
Foundations of Declarative Testing and Debugging in Logic Programming (Computer Science and Computer Engineering Series)Song Y. Yan · First published 1996Open the Tome