Luca Cardelli Semistructured Computation. 1-16 http://link.springer.de/link/service/series/0558/bibs/1949/19490001.htm 1999 conf/dbpl/1999 DBPL db/conf/dbpl/dbpl1999.html#Cardelli99