Robin Sharp Ole Rasmussen Using a Language of Functions and Relations for VLSI Specification. 45-54 1995 FPCA db/conf/fpca/fpca95.html#SharpR95