Software Testing for Conventional and Logic Programming. Walter de Gruyter (1996)

by O Jack