Formal models in programming; proceedings - 1985 Subjects--Uniform Titles: Computer programmingElectronics Digital computeres - programming Dewey Class. No.: 519.7 / I5M