Hierarchical Specification Of Software Processes In Oikos | IEEE Conference Publication | IEEE Xplore