Cunha A, Pinto JS.? 2004.??Making the Point-free Calculus Less Pointless. Proceedings of the 2nd APPSEM Workshop. :178?179.