Commit 6e346757adabc15a26a8f160dffcf41aca2c56bb - The-Glosscubator

+6

-4

Refinement Calculus/src/Books.md less more

8	8
9	9	### Programming from Specifications
10	10
11		* author: Carroll Morgan
	11	* authors: Carroll Morgan
12	12	* date: 1990
13	13	* online @ [www.cs.ox.ac.uk](https://www.cs.ox.ac.uk/publications/books/PfS/)
14	14

16	16
17	17	### a Practical Theory of Programming
18	18
19		* author: Hehner
	19	* authors: Eric C. R. Hehner
	20	* date: 2005 - present
20	21	* online @ [www.cs.toronto.edu](https://www.cs.toronto.edu/~hehner/aPToP/)
21	22
22		.
	23	changelog at http://www.cs.utoronto.ca/~hehner/aPToP/changelog.pdf
23	24
24	25	### Refinement Calculus: A Systematic Introduction
25	26
26		* author: Back
	27	* authors: Ralph-Johan Back, Joakim von Wright
	28	* date: 1997
27	29	* online @ [lara.epfl.ch](https://lara.epfl.ch/w/_media/sav08:backwright98refinementcalculus.pdf)
28	30
29	31	.

+3

-3

Retrocomputing/src/Books.md less more

16	16
17	17	### How to Design, Build, & Program Your Own Working Computer System
18	18
19		* author: Robert P. Haviland
	19	* authors: Robert P. Haviland
20	20	* publisher: TAB books
21	21	* date: 1979
22	22	* borrow @ [archive.org](https://archive.org/details/howtodesignbuild00havi)

26	26	### Microprocessor Programming for Computer Hobbyists
27	27
28	28	* authors: Neill Graham
29		* release-date: 1978
	29	* date: 1978
30	30	* ISBN: 0-8306695-2-3
31		* publisher: TAB
	31	* publisher: TAB books
32	32	* borrow @ [archive.org](https://archive.org/details/microprocessorpr0000grah)
33	33
34	34	.

+4

-3

Software Engineering/src/Books.md less more

20	20
21	21	### Object-Oriented Modelling and Design
22	22
23		* author: Rumbaugh et al
	23	* authors: James Rumbaugh, Michael Blaha, William Premerlane, Frederick Eddy, William Lorsenson
24	24	* date: 1999
25	25	* borrow @ [archive.org](https://archive.org/details/objectorientedmo00rumb)
26	26

28	28
29	29	### Advanced Programming in the Unix Environment
30	30
31		* author: W. Richard Stevens
	31	* authors: W. Richard Stevens
32	32	* date: 1998
33	33	* borrow-with-print-disabilities @ [archive.org](https://archive.org/details/advancedprogramm00stev)
34	34	* borrow-with-print-disabilities @ [archive.org](https://archive.org/details/advancedprogramm0000stev)
35	35	* borrow @ [archive.org](https://archive.org/details/isbn_9789812358813)
	36	* future-topics: Computer Programming
36	37
37		This is not quite the right category for this though
	38	.

+5

-3

Specification/src/Books.md less more

8	8
9	9	### Algebraic Specification
10	10
11		* author: Bergstra, Heering, Klint eds.
	11	* authors: Bergstra, Heering, Klint eds.
12	12	* date: 1989
13	13	* borrow @ [archive.org](https://archive.org/details/algebraicspecifi0000unse)
14	14

16	16
17	17	### Language Prototyping: an Algebraic Specification Approach
18	18
19		* author: van Deursen, Heering, Klint eds.
	19	* authors: van Deursen, Heering, Klint eds.
20	20	* date: 1996
21	21	* borrow @ [archive.org](https://archive.org/details/languageprototyp0000unse)
22	22

32	32
33	33	### Introduction to Z and Discrete Methods
34	34
35		* author: Darrel Ince
	35	* authors: Darrel Ince
36	36	* date: 1992
37	37	* borrow @ [archive.org](https://archive.org/details/introductiontodi0000ince)
38	38

50	50	### Program specification and transformation
51	51
52	52	* subtitle: proceedings of the IFIP TC2/WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 April 1986
	53	* authors: Eds.
53	54	* date: 1986
54	55	* borrow @ [archive.org](https://archive.org/details/programspecifica0000ifip)
55	56

58	59	### Semantics, applications, and implementation of program generation
59	60
60	61	* subtitle: second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings
	62	* authors: Eds.
61	63	* date: 2001
62	64	* borrow @ [archive.org](https://archive.org/details/springer_10.1007-3-540-44806-3)
63	65

+1

-1

Term Rewriting/src/Books.md less more

8	8
9	9	### Advanced Topics in Term Rewriting
10	10
11		* author: Enno Ohlebusch
	11	* authors: Enno Ohlebusch
12	12	* date: 2002
13	13	* borrow @ [archive.org](https://archive.org/details/advancedtopicsin0000ohle)
14	14

+5

-5

Theory of Computation/src/Books.md less more

19	19	### The Universal Turing Machine
20	20
21	21	* subtitle: a half-century survey
22		* author: Rolf Herken (Ed.)
	22	* authors: Rolf Herken (Ed.)
23	23	* date: 1988
24	24	* borrow @ [archive.org](https://archive.org/details/universalturingm0000unse)
25	25

27	27
28	28	### Theory of Recursive Functions and Effective Computability
29	29
30		* author: Hartley Rogers
	30	* authors: Hartley Rogers
31	31	* date: 1967
32	32	* borrow @ [archive.org](https://archive.org/details/theoryofrecursiv00roge)
33	33

35	35
36	36	### Automata and Computability
37	37
38		* author: Dexter Kozen
	38	* authors: Dexter Kozen
39	39	* date: 1997
40	40	* borrow @ [archive.org](https://archive.org/details/automatacomputab0000koze)
41	41

43	43
44	44	### Theories of Computation
45	45
46		* author: Nicholas Pippenger
	46	* authors: Nicholas Pippenger
47	47	* date: 1997
48	48	* borrow @ [archive.org](https://archive.org/details/theoriesofcomput0000pipp)
49	49

51	51
52	52	### Computability Theory, Semantics, and Logic Programming
53	53
54		* author: Melvin Fitting
	54	* authors: Melvin Fitting
55	55	* date: 1987
56	56	* borrow @ [archive.org](https://archive.org/details/computabilitythe0000fitt)
57	57	* topics: Theory of Computation, Logic Programming

+1

-1

Topology/src/Books.md less more

17	17	### Counterexamples in Topology
18	18
19	19	* authors: Lynn Arthur Steen, J. Arthur Seebach Jr.
20		* release-date: 1978
	20	* date: 1978
21	21	* ISBN: 0-4866873-5-X
22	22	* publisher: Springer-Verlag
23	23	* borrow @ [archive.org](https://archive.org/details/counterexamplesi0000stee)

+2

-0

Type Systems/src/Books.md less more

8	8
9	9	### Counterexamples in Type Systems
10	10
	11	* authors: Stephen Dolan
	12	* date: 2021 - present
11	13	* online @ [counterexamples.org](https://counterexamples.org/)
12	14
13	15	.

+2

-3

Type Theory/src/Books.md less more

8	8
9	9	### Basic Simple Type Theory
10	10
11		* author: Roger Hindley
	11	* authors: Roger Hindley
12	12	* date: 1997
13	13	* borrow @ [archive.org](https://archive.org/details/basicsimpletypet0000hind)
14	14

16	16
17	17	### Type Theory and Functional Programming
18	18
19		* author: Simon Thompson
	19	* authors: Simon Thompson
20	20	* date: 1999
21	21	* online @ [www.cs.kent.ac.uk](https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf)
22	22	* topics: Type Theory, Functional Programming

31	31	* online @ [www.cse.chalmers.se](http://www.cse.chalmers.se/research/group/logic/book/)
32	32
33	33	.
34

+2

-2

User Interface/src/Books.md less more

8	8
9	9	### The Humane Interface
10	10
11		* author: Jef Raskin
	11	* authors: Jef Raskin
12	12	* date: 2000
13	13	* borrow @ [archive.org](https://archive.org/details/humaneinterfacen00rask)
14	14

16	16
17	17	### Constructing the User Interface with Statecharts
18	18
19		* author: Ian Horrocks
	19	* authors: Ian Horrocks
20	20	* date: 1999
21	21	* borrow @ [archive.org](https://archive.org/details/isbn_9780201342789)
22	22

+2

-0

VIC-20/src/Books.md less more

8	8
9	9	### Learn computer programming with the Commodore VIC-20
10	10
	11	* authors: L. R. Carter, E. Huzan
	12	* date: 1982
11	13	* online @ [archive.org](https://archive.org/details/learn-computer-programming-with-the-commodore-vic)
12	14
13	15	.

+3

-4

miniKanren/src/Books.md less more

9	9	### The Reasoned Schemer
10	10
11	11	* authors: Daniel P. Friedman, William E. Byrd, Oleg Kiselyov
12		* borrow @ [archive.org](https://archive.org/details/reasonedschemer0000frie)
	12	* date: 2005
	13	* borrow-with-print-disabilities @ [archive.org](https://archive.org/details/reasonedschemer0000frie)
13	14
14		It is written in "programed" style, and tries to have a playful attitude
15		and makes gratuitous references to eating. But it is easier to follow
16		than the "standard" miniKanren tutorial, which is just brutally opaque IMO.
	15	.

+3

-1

miniKanren/src/commentary/Chris Pressey.md less more

16	16
17	17	* rating: 1
18	18
19		.
	19	It is written in "programed" style, and tries to have a playful attitude
	20	and makes gratuitous references to eating. But it is easier to follow
	21	than the "standard" miniKanren tutorial, which is just brutally opaque IMO.
20	22
21	23	### Relational Processing for Fun and Diversity - minikanren19-final6.pdf
22	24

+80

-0

schema/Book.md less more

	0	Book (schema)
	1	=============
	2
	3	<!--
	4	SPDX-FileCopyrightText: In 2024, Chris Pressey, the original author of this work, placed it into the public domain.
	5
	6	SPDX-License-Identifier: CC0-1.0
	7	-->
	8
	9	This is a schema which defines, for now, a few rudimentary things about
	10	what properties all Book entries in this repository should have.
	11
	12	The order in which they are listed here induces an order in which they
	13	should appear on each entry.
	14
	15	### subtitle
	16
	17	* optional: true
	18
	19	The author(s) of the book.
	20
	21	### authors
	22
	23	The author(s) of the book.
	24
	25	### date
	26
	27	Date the book was published
	28
	29	### ISBN
	30
	31	* optional: true
	32
	33	ISBN
	34
	35	### publisher
	36
	37	* optional: true
	38
	39	Publisher
	40
	41	### wikipedia
	42
	43	* optional: true
	44
	45	Wikipedia
	46
	47	### online
	48
	49	* optional: true
	50	* multiple: true
	51
	52	A URL where the book can be read online.
	53
	54	### borrow
	55
	56	* optional: true
	57	* multiple: true
	58
	59	A URL where the book can be borrowed online.
	60
	61	### borrow-with-print-disabilities
	62
	63	* optional: true
	64	* multiple: true
	65
	66	A URL where the book can be borrowed online by users with print disabilities.
	67
	68	### topics
	69
	70	* optional: true
	71
	72	A comma-separated list of multiple topics that this book is classified under.
	73
	74	### future-topics
	75
	76	* optional: true
	77
	78	A comma-separated list of multiple topics that this book might be classified under
	79	one day, once those topics exist.

+3

-0

scripts/check-schema.sh less more

	0	#!/bin/sh -ex
	1
	2	feedmark --check-against-schema schema/Book.md */src/Books.md