Melzak

Some articles on melzak:

Historical Development of The Register Machine Model - (1961) Melzak's Model Is Different: Clumps of Pebbles Go Into and Out of Holes
... Melzak's (1961) model is significantly different ... Unlike Minsky's "increment" and "decrement", Melzak allowed for proper subtraction of any count of pebbles and "adds" of any count of pebbles ... Legacy of Melzak's model is Lambek's simplification and the reappearance of his mnemonic conventions in Cook and Reckhow 1973 ...
Counter Machine Models - The Models in More Detail - 1961: Lambek "abacus" Model: Atomizing Melzak's Model To X+, X- With Test
... Lambek references Melzak's paper ... He atomizes Melzak's single 3-parameter operation (really 4 if we count the instruction addresses) into a 2-parameter increment "X+" and 3-parameter decrement "X-" ... (1970, etc), Boolos-Burgess-Jeffrey (2002) They use Lambek's name "abacus" but follow Melzak's pebble--in-holes model, modified by them to a 'stones-in-boxes' model ...
Historical Development of The Register Machine Model - (1954, 1957) Wang's Model: Post-Turing Machine
... We find him referenced by Minsky (1961) and (1967), Melzak (1961), Shepherdson and Sturgis (1963) ... Both Melzak (1961) and Shepherdson and Sturgis (1963) observed this (in the context of certain proofs and investigations) "...a Turing machine has a certain opacity.. ... (Melzak (1961) p ...
Register Machine - Precedence
... While receipt occurred a full year before the work of Melzak and Lambek was received and published (received, respectively, May and June 15, 1961 and published side-by-side September 1961) ... it was not yet published in a peer-reviewed journal, but (iii) Melzak references Wang, and Lambek references Melzak, leads one to hypothesize that their work ... Their paper was received in December 1961—just a few months after Melzak and Lambek's work was received ...