Nice :) Do you know any books or anything that address "programmability", as distinct from "computability"?

I've been mulling on it for a while now.