Formal models in programming : proceedings of the IFIP TC2 Working Conference on The Role of Abstract Models in Information Processing, Vienna, Austria, 30-January-1 February, 1985. ISBN 0444878882. Published by North Holland in 1985. Publication and catalogue information, links to buy online and reader comments.