L. Schröder, T. Mossakowski, and C. Lüth. Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), volume 3423 of Lecture Notes in Computer Science, page 234-248. Springer; Berlin; http://www.springer.de, (2005)
S. Singh. International Journal of Agronomy and Agricultural Research (IJAAR), Vol. 6 (No. 2):
p. 82-88(February 2015)org / 10. 6084 / m 9. figshare. 1352004.