A simple implementation of "observable sharing". See

• Koen Claessen, David Sands, "Observable sharing for functional circuit description", Asian Computing Science Conference, 1999.

for more details.