@inproceedings{baker-finch:hosfom,
author="Clement A. Baker-Finch",
title="Higher-Order Specifications with First-Order Models",
booktitle="15th Australian Computer Science Conference",
organisation="Australian Computer Science Communications",
year=1992,pages="57-69"}