Last update: Wed Sep 26 02:07:32 MDT 2018
@Article{Hein:1993:DLA,
author = "James L. Hein",
title = "A declarative laboratory approach for discrete
structures, logic, and computability",
journal = j-SIGCSE,
volume = "25",
number = "3",
pages = "19--25",
month = sep,
year = "1993",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/165408.165414",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:23 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
}