Title: Logic aspect of programs
First published: 1981