The following list shortly summarizes relatively mature systems which are relatively old and can be obtained via email request to yosi@cs.haifa.ac.il.