Programming on Purpose III: Essays on Software Technology