@ARTICLE{BasinAnderson00,
AUTHOR = {Anderson, Penny and Basin, David A.},
TITLE = {Program Development Schemata as Derived Rules},
JOURNAL = {Journal of Symbolic Computation},
PUBLISHER = {Academic Press},
YEAR = {2000},
NUMBER = {1},
VOLUME = {30},
PAGES = {5--36},
ADDRESS = {London, UK},
ISBN = {0747-7171},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Christine Kiesel | Created
03/30/2000 02:42:15 PM |
Revisions
10.
9.
8.
7.
6. | Editor(s)
Christine Kiesel
Uwe Brahm
Uwe Brahm
Christine Kiesel
Christine Kiesel | Edit Dates
04.09.2001 11:19:17
05/01/2001 02:44:24 PM
03/19/2001 11:42:53 AM
14.03.2001 13:42:53
14.03.2001 13:11:36 |