Padmanabhan Krishnan Architectural CCS. 162-187 1996 8 Formal Asp. Comput. 2 db/journals/fac/fac8.html#Krishnan96