@INPROCEEDINGS{leiserson_retime_caltech_vlsi1983,
	AUTHOR = {Charles Leiserson and Flavio Rose and James Saxe},
	TITLE = {Optimizing Synchronous Circuitry by Retiming}, 
	BOOKTITLE = {Third Caltech Conference On VLSI},
	YEAR = {1993},
	MONTH = {March}
}