FORMAL ASPECTS VLSI DESIGN : Proceedings of the 1985 Edinburgh workshop on VLSI, Edinburgh, Scotland, U. K., - Milne, George J. (North-Holland Publishing, 1986)