%0 Book %1 barstow79 %A Barstow, D. %D 1979 %I North Holland %K de programmes synthe`se %T Knowledge Based Program Construction

@book{barstow79, added-at = {2007-06-19T16:03:11.000+0200}, author = {Barstow, D.}, biburl = {https://www.bibsonomy.org/bibtex/2e5fdb8f021313e69445567125d1c67e6/charoy}, interhash = {ddc6baf2babc9222aa89bcaa8879594d}, intrahash = {e5fdb8f021313e69445567125d1c67e6}, keywords = {de programmes synthe`se}, publisher = {North Holland}, timestamp = {2007-06-19T16:03:16.000+0200}, title = {{Knowledge Based Program Construction}}, year = 1979 }