From concrete forms to generalized abstractions through perspective-oriented analysis of logical relationships | IEEE Conference Publication | IEEE Xplore