S. Owre, N. Shankar, J. M. Rushby and D. W. J. Stringer- Calvert, “The Prototype Verification System,” PVS System Guide, 2001.
 H. Thielemann, “Optimally Matched Wavelets,” PhD. Thesis, Universit?t Bremen, March 2006.
 G. Strang, “Eigenvalues of and Convergence of the Cascade Algorithm,” IEEE Transactions on Signal Processing, Vol. 44, 1996, pp. 233-238.
 I. Daubechies and W. Sweldens, “Factoring Wavelet Transforms into Lifting Steps,” Journal of Fourier Analysis and Applications, Vol. 4, No. 3, 1998, pp. 245-267.
 R. W. Hamming, “Digital Filters,” Signal Processing Series, Prentice Hall, Upper Saddle River, January 1989.
 S. P. Jones, “Haskell 98 Language and Libraries, the Revised Report,” 1998. http://www.haskell.org/definition/
 H. Thielemann, “Audio Processing Using Haskell,” DAFx: Conference on Digital Audio Effects, G. Evangelista and I. Testa, Eds., Federico II University of Naples, Italy, October 2004, pp. 201-206.
 S. P. Jones, R. Leshchinskiy, G. Keller and Manuel M. T. Chakravarty, “Harnessing the Multicores: Nested Data Parallelism in Haskell,” IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS’08), 2008.
 D. C. Massie, “Wavetable Sampling Synthesis,” in Applications of Digital Signal Processing to Audio and Acoustics, Mark Kahrs and Karlheinz Brandenburg, Eds., pp. 311–341. Kluwer Academic Press, 1998.
 J. M. Clowning, “The Synthesis of Complex Audio Spectra by Means of Frequency Modulation,” Journal of the Audio Engineering Society, Vol. 21, No. 7, 1973, pp. 526-534.
 B. Lang, “Einbettungsverfahren für Netzwerkgleichungen,” Ph.D. Thesis, Universit?t Bremen, Germany, November 2002.
 U. Z?lzer, Ed., “DAFx: Digital Audio Effects,” John Wiley and Sons Ltd., Hoboken, February 2002.
 S. Roucos and A. M. Wilgus, “High Quality Timescale Modification for Speech,” Proceedings of IEEE International Conference on Acoustics, Speech, and Signal Processing, 1985, pp. 493-496.
 J. Makhoul and A. El-Jaroudi, “Time-Scale Modification In Medium To Low Rate Speech Coding,” Proceedings of IEEE International Conference on Acoustics, Speech, and Signal Processing, 1986, pp. 1705-1708.
 S. Disch and U. Z?lzer, “Modulation and Delay Line Based Digital Audio Effects,” Proceedings DAFx-99: Workshop on Digital Audio Effects, Trondheim, December 1999, pp. 5-8.
 C. Hamon, E. Moulines and F. Charpentier, “A Diphone Synthesis System Based on Time-Domain Prosodic Modifications of Speech,” Proceedings of IEEE International Conference on Acoustics, Speech, and Signal Processing, 1989, pp. 238-241.
 E. Moulines and F. Charpentier, “Pitch Synchronous Waveform Processing Techniques for Text to Speech SynThesis Using Diphones,” Speech communication, Vol. 9, No. 5-6, 1990, pp. 453-467.
 S. Lemmetty, “Review of Speech Synthesis Technology,” M.S. Thesis, Helsinki University of Technology, March 1999.
 M. Raspaud and S. Marchand, “Enhanced Resampling for Sinusoidal Modeling Parameters,” WASPAA’07, 2007.
 F. X. Nsabimana and U. Z?lzer, “Audio Signal Decomposition for Pitch and Time Scaling,” ISCCSP 2008, March 2008.
 A. Haghparast, H. Penttinen and V. V?lim?ki, “Real-Time Pitch-Shifting of Musical Signals by a Timevarying Factor Using Normalized Filtered Correlation Timescale Modification (NFC-TSM),” International Conference on Digital Audio Effects, September 2007, pp. 7-13.