Form Follows Function [chapter]

Jim Davies, Jeremy Gibbons, Radu Calinescu, Charles Crichton, Steve Harris, Andrew Tsui
2012 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-32355-3_2 fatcat:it4gcw7ynbctpklht6cmrobssq