Observable sharing for functional circuit description (1999)

by K Claessen, D Sands
Venue:Advances in Computing Science — ASIAN’99