B. Romeira, J. Figueiredo, C. Ironside, and J. Javaloyes. Selected Topics in Nonlinear Dynamics and Theoretical Electrical Engineering, volume 459 of Studies in Computational Intelligence, Springer, (2013)
C. Camarão, and L. Figueiredo. Fuji International Symposium on Functional and Logic Programming, volume 1722 of Lecture Notes in Computer Science, page 37-52. Springer, (1999)