Constantinos Constantinides Therapon Skotiniotis The provision of contracts to enforce system semantics throughout software development. 607-616 2004 conf/iastedSEA/2004 IASTED Conf. on Software Engineering and Applications db/conf/iastedSEA/iastedSEA2004.html#ConstantinidesS04