Proving Invariants of Functional Programs.

Zoltán Horváth Tamás Kozsik Máté Tejfel Proving Invariants of Functional Programs. 115-126 2003 conf/splst/2003 SPLST db/conf/splst/splst2003.html#HorvathKT03