Peter Morris Thorsten Altenkirch Neil Ghani Constructing Strictly Positive Families. 111-121 2007 CATS http://crpit.com/abstracts/CRPITV65Morris.html conf/cats/2007 db/conf/cats/cats2007.html#MorrisAG07