Joachim Parrow Submodule Construction as Equation Solving CCS. 103-123 1987 conf/fsttcs/1987 FSTTCS db/conf/fsttcs/fsttcs87.html#Parrow87 http://dx.doi.org/10.1007/3-540-18625-5_46